Formal Development with ABEL
نویسندگان
چکیده
منابع مشابه
Developing Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملA Method to Approximate Solution of the First Kind Abel Integral Equation Using Navot's Quadrature and Simpson's Rule
In this paper, we present a method for solving the rst kind Abel integral equation. In thismethod, the rst kind Abel integral equation is transformed to the second kind Volterraintegral equation with a continuous kernel and a smooth deriving term expressed by weaklysingular integrals. By using Sidi's sinm - transformation and modied Navot-Simpson'sintegration rule, an algorithm for solving this...
متن کاملOntological Primitives for Visual Knowledge
In the last few years, we have analyzed the best alternatives for acquiring and processing visual knowledge with the goal of supporting problem solving. We call visual knowledge the set of mental models that support the process of reasoning over information that comes from the spatial arrangement and visual aspects of entities. Also, visual knowledge is implicit, meaning that it is difficult to...
متن کاملThe Use of Fuzzy Variational Iteration Method For Solving Second-Order Fuzzy Abel-Volterra Integro-Differential Equations
In this paper, fuzzy variational iteration method (FVIM) is proposed to solve the second- order fuzzy Abel-Volterra integro-differential equations. The existence and uniqueness of the solution and convergence of the proposed method are proved in details. is investigated to verify convergence results and to illustrate the efficiently of the method.
متن کاملArgumentative Reasoning with ABEL
Most formal approaches to argumentative reasoning under uncertainty focus on the analysis of qualitative aspects. An exception is the framework of probabilistic argumentation systems. Its philosophy is to include both qualitative and quantitative aspects through a simple way of combining logic and probability theory. Probabilities are used to weigh arguments for and against particular hypothese...
متن کامل